dst (double summer time) - German English Dictionary